% -*- coding:utf-8 -*-

\section{Introducción}
El siguiente documento contiene la especificación de un lenguaje
diseñado para la generación de diagramas de redes a partir de archivos
con la especificación de la topología para su uso en exámenes.

\section{Especificación del Problema}
El problema consiste en la generación de diagramas como el mostrado en
la figura ~\ref{fig:ejemplo} a partir de una especificación del mismo
en un archivo de código fuente. En principio y a través de línea de
comandos, se le podrá pedir a la aplicación que genere distintos tipos
de información, como pueden ser tablas para ser completadas por el
alumno con la información que se le solicite o las mismas tablas
completadas con la información pertinente.

\begin{figure}[!h]
\label{fig:ejemplo}
\centering
\includegraphics[width=12cm]{./ejemplo.png}
\caption{Diagrama de salida de ejemplo.}
\end{figure}

La especificación del lenguaje de entrada está basada en la documentación del
comando \emph{IP} \cite{ipCommand} y puede verse un ejemplo (que ha
sido el que ha dado lugar a la Figura ~\ref{fig:ejemplo}) en el
listado ~\ref{lst:ejemplo}.\\
Para generar dicha salida, nuestro compilador convertirá el lenguaje
de entrada en otro lenguaje (lenguaje de salida) para la utilidad
\emph{graphviz} \cite{graphviz}. El compilador, después de generar la
traducción propiamente dicha, llamará a dicha utilidad que será la
encargada de generar el gráfico final de salida.
